An Extension for MSC-2000 and Its Application
نویسندگان
چکیده
Message Sequence Charts (MSC) is a standard language widely used in telecommunication software engineering. The latest MSC standard, MSC-2000, includes new features such as time and data. In this paper, we propose a new construct called instance delay as an extension for timed MSC to enhance further its expressiveness. We define formally the semantics of the extension based on a partial order semantics of timed MSC. We demonstrate through an application the need for this extension.
منابع مشابه
Identifying Barriers of E-learning Implementation by M.Sc. Students in Agricultural Faculty of Islamic Azad University, Ilam Branch
Getting advanced in communication and information technologies and their impact on all aspects of human life, the world is experiencing a new phenomenon named information society. Therefore, e-learning is a necessity to develop the quality of learning in this kind of society. The purpose of this study was to identify the barriers of e-learning implementation by M.Sc. Students in agricultural fa...
متن کاملMultiple Synchrony in MSC
We propose an extension to Message Sequence Charts (MSC); MSC diagrams comprise processes (called instances) and messages. Messages in MSC are either asynchronous or method calls. Our extension adds multiple synchronous messages. We present a transformation algorithm that takes as input a diagram in the extended MSC and generates an equivalent one in the standard MSC. The synchronous messages a...
متن کاملA Generalization of the Meir-Keeler Condensing Operators and its Application to Solvability of a System of Nonlinear Functional Integral Equations of Volterra Type
In this paper, we generalize the Meir-Keeler condensing operators via a concept of the class of operators $ O (f;.)$, that was given by Altun and Turkoglu [4], and apply this extension to obtain some tripled fixed point theorems. As an application of this extension, we analyze the existence of solution for a system of nonlinear functional integral equations of Volterra type. Finally, we p...
متن کاملEuler-Poincaré reduction for discrete field theories
In this note, we develop a theory of Euler-Poincaré reduction for discrete Lagrangian field theories. We introduce the concept of Euler-Poincaré equations for discrete field theories, as well as a natural extension of the Moser-Veselov scheme, and show that both are equivalent. The resulting discrete field equations are interpreted in terms of discrete differential geometry. An application to t...
متن کاملUsnig LR-Fuzzy Numbers Data to Measure the Eciency and the Malmquist Productivity Index in Data Envelopment Analysis , and Its Application in Insurance Organizations
In many real applications, the data of production processes can't be precisely measured.We develop some fuzzy versions of the classical DEA models (in particular, the CCRmodel) by using some ranking methods based on the comparison of cuts. Our approachescan be seen as an extension of the DEA methodology. The provides users and practitionerswith models which represent some real life processes mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002